Overture IDE
公式サイト:
Overview - Overture Tool Formal Modelling in VDM
最近は
VDMTools
よりvscodeで開発する感じっぽい。
overturetool/vdm-vscode: Visual Studio Code extension for VDM language support
今はOverture IDEではなく
Overture Tool
という名前でやってそう
確認用
Q. Overture IDE
参考
基本的な使い方（Overture IDE） - VDM++による形式仕様記述
関連
VDMTools